irrational invariant

无理不变式